# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit eutils

DESCRIPTION="Z3 - a SMT solver developed at Microsoft"
HOMEPAGE="http://research.microsoft.com/en-us/um/redmond/projects/z3/"
SRC_URI="http://research.microsoft.com/projects/z3/${P}.tar.gz"

LICENSE="LGPL"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND=""
RDEPEND="${DEPEND}"

src_unpack() {
	unpack ${A}
}

src_install() {
	cd ${WORKDIR}
	dodir /opt/z3
	cp -R z3/* ${D}opt/z3/
	dosym /opt/z3/bin/z3 /usr/bin/z3
}
